I. B. Virbitskaite: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 8974 || Polynomial-Time Optimal Pretty-Printing Combinators with Choice

Voronkov, Andrei, Virbitskaite, Irina

Year:

2015

Language:

english

File:

PDF, 355 KB

english, 2015

2

Sixth International Conference “Perspectives of System Informatics”

I. B. Virbitskaite

Journal:

Programming and Computer Software

Year:

2007

Language:

english

File:

PDF, 116 KB

english, 2007

3

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Bootstrapping Compiler Generators from Partial Evaluators

Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei

Year:

2012

Language:

english

File:

PDF, 285 KB

english, 2012

4

Information Announcement on Sixth International Andrei Ershov Memorial Conference “Perspectives of System Informatics,” 27–30 June 2006, Novosibirsk, Akademgorodok, Russia

I. B. Virbitskaite

Journal:

Programming and Computer Software

Year:

2005

Language:

english

File:

PDF, 37 KB

english, 2005

5

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 || Cryptographic Protocols Analysis in Event B

Pnueli, Amir, Virbitskaite, Irina, Voronkov, Andrei

Year:

2010

Language:

english

File:

PDF, 290 KB

english, 2010

6

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Algorithmic Debugging of SQL Views

Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei

Year:

2012

Language:

english

File:

PDF, 199 KB

english, 2012

7

Comparative trace semantics of time Petri nets

Bushin, D. I., Virbitskaite, I. B.

Journal:

Programming and Computer Software

Year:

2015

Language:

english

File:

PDF, 513 KB

english, 2015

8

Analysis of equivalence relations of event structures with continuous time

E. N. Bozhenkova, I. B. Virbitskaite

Journal:

Programming and Computer Software

Year:

2000

Language:

english

File:

PDF, 840 KB

english, 2000

9

Semantic domains of timed event structures

I. B. Virbitskaite, R. S. Dubtsov

Journal:

Programming and Computer Software

Year:

2008

Language:

english

File:

PDF, 352 KB

english, 2008

10

Unifying behavioral equivalences of timed transition systems

I. B. Virbitskaite, N. S. Gribovskaya

Journal:

Programming and Computer Software

Year:

2010

Language:

english

File:

PDF, 362 KB

english, 2010

11

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Towards an Open Framework for C Verification Tools Benchmarking

Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei

Year:

2012

Language:

english

File:

PDF, 340 KB

english, 2012

12

Some properties of event structures

I. B. Virbitskaite

Journal:

Cybernetics and Systems Analysis

Year:

1997

Language:

english

File:

PDF, 835 KB

english, 1997

13

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 ||

Pnueli, Amir, Virbitskaite, Irina, Voronkov, Andrei

Year:

2010

Language:

english

File:

PDF, 9.40 MB

english, 2010

14

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 ||

Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei

Year:

2012

Language:

english

File:

PDF, 5.78 MB

english, 2012

15

Analysis of Timed Concurrent Models Based on Testing Equivalence

Andreeva, Maria V., Bozhenkova, Elena N., Virbitskaite, Irina B.

Journal:

Fundamenta Informaticae

Year:

2000

File:

PDF, 1.00 MB

2000

16

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 || Loop Parallelization in Multi-dimensional Cartesian Space

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 1.02 MB

english, 2007

17

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 || On the Usage of Concrete Syntax in Model Transformation Rules

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 445 KB

english, 2007

18

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 || Real-Time Stable Event Structures and Marked Scott Domains: An Adjunction

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 374 KB

english, 2007

19

Testing Equivalences of Time Petri Nets

Bozhenkova, E. N., Virbitskaite, I. B.

Journal:

Programming and Computer Software

Year:

2020

File:

PDF, 1.18 MB

2020

20

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 ||

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 9.24 MB

english, 2007

21

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 || Towards Checking Parametric Reachability for UML State Machines

Pnueli, Amir, Virbitskaite, Irina, Voronkov, Andrei

Year:

2010

Language:

english

File:

PDF, 326 KB

english, 2010

22

True Concurrent Equivalences in Time Petri Nets*

Virbitskaite, Irina, Bushin, Dmitry, Best, Eike

Journal:

Fundamenta Informaticae

Year:

2016

Language:

english

File:

PDF, 334 KB

english, 2016

23

On Semantics of Concurrency and Nondeterminism: Bisimulations and Temporal Logics

Irina Virbitskaite

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 920 KB

english, 1998

24

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 5947 || A Method for Test Suite Reduction for Regression Testing of Interactions between Software Modules

Pnueli, Amir, Virbitskaite, Irina, Voronkov, Andrei

Year:

2010

Language:

english

File:

PDF, 195 KB

english, 2010

25

“Truly concurrent” and nondeterministic semantics of discrete-time Petri nets

Virbitskaite, I. B., Borovlev, V. A., Popova-Zeugmann, L.

Journal:

Programming and Computer Software

Year:

2016

Language:

english

File:

PDF, 705 KB

english, 2016

26

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 || Basic Protocols: Specification Language for Distributed Systems

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 217 KB

english, 2007

27

[Lecture Notes in Computer Science] Perspectives of System Informatics Volume 11964 (12th International Andrei P. Ershov Informatics Conference, PSI 2019, Novosibirsk, Russia, July 2–5, 2019, Revised Selected Papers) ||

Bjørner, Nikolaj, Virbitskaite, Irina, Voronkov, Andrei

Year:

2019

File:

PDF, 17.03 MB

2019

28

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 || Development of a Robust Data Mining Method Using CBFS and RSM

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 243 KB

english, 2007

29

SOME CHARACTERISTICS OF NONDETERMINISTIC PROCESSES

VIRBITSKAITE, IRINA B.

Journal:

Parallel Processing Letters

Year:

1993

Language:

english

File:

PDF, 319 KB

english, 1993

30

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 4378 || Report on an Implementation of a Semi-inverter

Virbitskaite, Irina, Voronkov, Andrei

Year:

2007

Language:

english

File:

PDF, 215 KB

english, 2007

31

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Petri Net Distributability

Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei

Year:

2012

Language:

english

File:

PDF, 261 KB

english, 2012

32

PSI’11 call for papers Eighth International Andrei Ershov Conference “Perspectives of System Informatics” 27 June–1 July, 2011, Novosibirsk, Akademgorodok, Russia http://psi.nsc.ru

I. B. Virbitskaite

Journal:

Programming and Computer Software

Year:

2010

Language:

english

File:

PDF, 102 KB

english, 2010

33

[Lecture Notes in Computer Science] Perspectives of Systems Informatics Volume 7162 || Development of the Computer Language Classification Knowledge Portal

Clarke, Edmund, Virbitskaite, Irina, Voronkov, Andrei

Year:

2012

Language:

english

File:

PDF, 156 KB

english, 2012

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски